1. Logic and computer science
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, symbolic and mathematical ► Computer programs- Corretness
Classification :
511
L832
2. Logic of programs : Workshop, ETH Zurich, May-July 1979
Author: edited by Erwin Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
125
3. Logic of programs : workshop, ETH Zurich, May-July 1979
Author: edited by Erwin Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer programs,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
125
4. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author: edited by Rohit Parikh
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
193
5. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
6
.
L5855
1985
6. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author: edited by Rohit Parikh
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
193
7. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
Author: / Edited by Edmund Clarke, Dexter Kozen
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
Classification :
QA76
.
6
.
L5855
1985
8. Mathematical theory of program correctness
Author: Bakker, J. W. de )Jacobus Willem(, 9391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer programs -- Correctness,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
B335
9. Mathematical theory of program correctness
Author: Bakker, Jacobus Willem
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Correctness ، Computer programs,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
B335
10. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
11. Program logics for certified compilers /
Author: Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
Classification :
QA76
.
76
.
V47
A65
2014
